class 9 theorem 8.3